Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
911	A Practical Course on KIV Gidon Ernst Wolfgang Reif Dominik Haneberg Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-09 05:01:55 Metalogic Natural deduction Sequent First-order logic Model theory Logic Mathematical logic Proof theory
912	OUP CORRECTED PROOF – FINAL, [removed], SPi PA RT I V Emergence Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2013-07-10 08:23:32 Systems Emergence Complex systems theory Scientific terminology Complex system Emergentism Strong emergence Nonlinear system Linear Philosophy of mind Metaphysics Science
913	Bernard Bolzano's Philosophy: Logic and Ontology Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-02-07 01:52:47 Bernard Bolzano Proposition Term logic Edmund Husserl Truth Philosophy of mathematics Proof theory Mathematical logic Modal logic Logic Philosophy Philosophical logic
914	Justin Clarke-Doane Columbia University [This is a draft of a companion piece to G.C. Field’s (1932) “The Place of Definition in Ethics”, Proceedings of the Aristotelian Society, 32: 79-94, for a virtual issue of t Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2015-02-03 21:55:01 Set theory Proof theory Formal systems Z notation Axiom of choice Axiom Truth Theory Class Mathematical logic Logic Mathematics
915	Philosophia Mathematica (III[removed]), 341–362. doi:[removed]philmat/nkn032 Advance Access publication November 6, 2008 Probabilistic Proofs and Transferability† Add to Reading List Source URL: fitelson.org Language: English - Date: 2011-11-24 10:40:11 Mathematical proofs Mathematical logic Philosophical logic Probabilistic method Prime number Philosophy of mathematics Theorem Miller–Rabin primality test Proof theory Mathematics Logic Logical syntax
916	Complexity of the Quantum Separability Problem and Its Variants Charles Xu December 12, 2014 Abstract We review a family of tightly related complexity-theoretic results introduced in two Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-12-25 20:29:42 Applied mathematics Quantum information science Quantum complexity theory Separable states QMA QIP Interactive proof system PP Quantum entanglement Theoretical computer science Physics Quantum mechanics
917	David Faraci Sample Assignment Final Exam for Introduction to Logic 1. Let’s start with some basic questions about logical concepts, etc. [1 point each] Add to Reading List Source URL: personal.bgsu.edu Language: English - Date: 2011-09-26 16:47:07 Critical thinking Sequent Logic Proof theory Logical consequence Arguments
918	On Applications of the Equilibrium Value Method Serena Booth December 12th, 2014 Abstract In 2010, Jain et al. [JJUW10] provided the first proof that QIP = PSPACE. Jain et al. used a Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-12-25 20:29:00 Computational complexity theory Quantum complexity theory QIP IP Interactive proof system QMA PSPACE BQP Soundness Theoretical computer science Applied mathematics Complexity classes
919	Justin Clarke-Doane University of Birmingham Monash University [This is a corrected version of an article which appears in Noûs, Vol. 47.] Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2014-07-29 01:53:21 Proof theory Model theory Formal systems Continuum hypothesis Forcing Zermelo–Fraenkel set theory Conjecture Axiom Kurt Gödel Mathematical logic Logic Mathematics
920	Why we need to teach logic and how can we teach it? Mária Bakó∗ Abstract Logic is usually left out from education in mathematics. This fact has effects on understanding mathematics and even on learning languages, too Add to Reading List Source URL: www.cimt.plymouth.ac.uk Language: English - Date: 2005-08-11 11:31:11 Model theory Mathematical logic Abstraction First-order logic Function Mathematical proof Puzzle Theorem Modal logic Logic Mathematics Philosophical logic

UPDATE